How to sleep during hot summer nights