Assessing the potential impact of the RTS,S/ASO1 vaccine on malaria burden in Benin: a mathematical modelling approach | Synapse