Modelling the public health impact of male circumcision for HIV prevention in high prevalence areas in Africa