Periodicities in the rate of on-demand electrical stimulation of the mesencephalic reticular formation to maintain wakefulness