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