Probabilistic Protein Engineering