A comparison of five malaria transmission models: benchmark tests and implications for disease control