Computational design and optimization of Kemp eliminases