A mathematical model of metabolic insulin signaling pathways | Synapse