Gravar-mail: A Framework for Quantitative Modeling of Neural Circuits Involved in Sleep-to-Wake Transition