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