Vaccine requirements for swimming activities for pool users aged 12 years and older