the old man and the sea short summary