Libya floods: Why port city of Derna was so badly hit