Engineering proteinase K using machine learning and synthetic genes