Seasonal use case for the RTS,S/AS01 malaria vaccine: a mathematical modelling study | Synapse