A mathematical model for the G1/S transition of the mammalian cell cycle