What to do about restless legs in the middle of the night