Notch signaling is required for proliferation but not for differentiation at a well-defined β-selection checkpoint during human T-cell development | Synapse