Hotel tips: Our favorite 12 hotels at the Red Sea