The cost-effectiveness of male HPV vaccination in the United States.