Application and validation of a seasonal ensemble prediction system using a dynamic malaria model.