Effectiveness of the male latex condom: combined results for three popular condom brands used as controls in randomized clinical trials