Quantitative Evaluation of HIV Prevention Programs