What the rollout of COVID-19 shots for ages 5 to 11 might look like