Bacterial larvicides used for malaria vector control in sub-Saharan Africa: review of their effectiveness and operational feasibility | Synapse