Gravar-mail: Mathematical model of COVID-19 in Nigeria with optimal control