Gravar-mail: Changes in health workers' malaria diagnosis and treatment practices in Kenya