Statistical Inference on Residual Life