Text this: Modeling and optimal control of COVID-19 and malaria co-infection based on vaccination