is shawshank redemption based on a true story