Gravar-mail: An agent-based model of the population dynamics of Anopheles gambiae