Smooth estimation of mean residual life under random censoring