An epidemiology-based model for the operational allocation of COVID-19 vaccines: A case study of Thailand