Tips on how to have a better night’s sleep when it’s hot.