Modelling the impact of ivermectin-based optimal strategies on malaria control: the role of formulation, coverage, and mosquitocidal efficacy timing | Synapse