Bistability from double phosphorylation in signal transduction Model MML View MML External URL ortega Model types JWS