What doctors wish patients knew about getting a good night’s sleep