Impact of proactive and reactive vaccination strategies for health-care workers against MERS-CoV: a mathematical modelling study