Mathematical Modeling Of Multi-Level Behavior Of The Embryonic Stem Cell System During Self-Renewal And Differentiation