health of vaccinated and unvaccinated 6- to 12-year-olds