The nonparametric maximum likelihood estimator for middle-censored da