COVID-19 Vaccination in People With High-Risk Allergy Histories