the old man and the sea Book summary