COVID-19 vaccination: What we can learn from the great polio