A novel approach to modeling malaria with treatment and vaccination as control strategies in Africa using the Atangana–Baleanu derivative