A novel ensemble-based scoring and search algorithm for protein redesign, and its application to modify the substrate specificit