The effect of a short burst of exercise during the night on subsequent sleep