A decision support system for scheduling a vaccination campaign during a pandemic emergency: The COVID-19 case. (March 2023)