A research agenda for malaria eradication: diagnoses and diagnostics