Automated mining of soluble enzymes with diverse structures, catalytic properties and stabilities