Cost-effectiveness of adult circumdsion in a resource-rich setting for HIV prevention among men who have sex with men