The nonparametric maximum likelihood estimator for middle-censored data