Synergistic effects of vaccination and virus testing on the transmission of an infectious disease