How to coordinate vaccination and social distancing to mitigate SARS-CoV-2 outbreaks