How to get a good night’s sleep in hot weather — and why it’s so hard