when did the princess bride movie come out