Probabilistic models for the study of protein evolution