Analysis of a mathematical model for COVID-19 population dynamics in Lagos, Nigeria