Functional metagenomics reveals novel β-galactosidases not predictable from gene sequences