A model for restriction point control of the mammalian cell cycle