Mathematical models of sleep regulation | Synapse