Gravar-mail: The nonparametric maximum likelihood estimator for middle-censored data