Non-parametric estimation of the post-lead-time survival distribution of screen-detected cancer cases.