HPV vaccinations for boys can increase benefits of vaccination program