Mathematical Modeling of Malaria