Mass campaigns combining antimalarial drugs and anti-infective vaccines as seasonal interventions for malaria control, elimination and prevention of resurgence: a modelling study