Evaluating large-scale HIV prevention interventions: study design for an integrated mathematical modelling approach.