Assessing vaccine efficacy for infectious diseases with variable immunity using a mathematical model | Synapse