Cost-effectiveness of male circumcision for HIV prevention in a South African setting.