Optimal control analysis of a malaria disease transmission model that includes treatment and vaccination with waning immunity.