How to exercise for better sleep, according to doctors