A review of mathematical models of HIV/AIDS interventions and their implications for policy. Issue 7 (16th June 2011)