Mathematical Modeling of Sleep State Dynamics in a Rodent Model of Shift Work (Supplementary Online Material)