Molecular mechanisms of CRISPR-Cas proteins