Gravar-mail: Bayesian projection of life expectancy accounting for the HIV/AIDS epidemic