Male Circumcision for HIV Prevention in High HIV Prevalence Settings: What Can Mathematical Modelling Contribute to Informed Decision Making?