Sleep EEG effects of exercise with and without additional body cooling.