Gravar-mail: On nonparametric maximum likelihood estimation with double truncation