How Bacteria Use CRISPR to Vaccinate against Viruses