Efficiently Editing the Vaccinia Virus Genome by Using the CRISPR-Cas9 System