Gravar-mail: Probabilistic models for CRISPR spacer content evolution