Gravar-mail: Constrained binary classification using ensemble learning: an application to cost-efficient targeted PrEP strategies