Molecular mechanisms and mathematical models of cell cycle checkpoints