COVID-19; Dynamic optimization; SIR models; Vaccinations