HPV vaccination of adolescent boys may be cost-effective for preventing oropharyngeal cancer