Knowing what we know now about the Pfizer/Moderna coronavirus vaccine, what percentage of vaccination would have been required to reach herd immunity?