Mathematical COVID-19 model with vaccination: a case study in Saudi Arabia