modeling.andoptimizations. probabilistic models for crispr spacer content evolution.pdf