Computational modelling of T-cell formation kinetics: output regulated by initial proliferation-linked deferral of developmental competence