Estimating a Distribution Function with Truncated Data