Describir: A model of malaria population dynamics with migrants