Gravar-mail: Use of propensity score matching to create counterfactual group to assess potential HIV prevention interventions