is the shawshank redemption based on a true story