Evolution of a computationally designed Kemp eliminase