A quantitative model for age-dependent expression of the p16INK4a tumor suppressor