Optimization and Analysis of a Model of the Mammalian Circadian Clock