Gravar-mail: Case investigation and reactive case detection for malaria elimination in northern Senegal