Substitution Models of Protein Evolution with Selection on Enzymatic Activity