An efficient nonstandard computer method to solve a compartmental epidemiological model for COVID-19 with vaccination and population migration. (June 2022)