Male circumcision and HIV infection: 10 years and counting