Machine learning-aided engineering of PET hydrolase for PET depolymerization.