The role of community health workers in malaria control in the Philippines.