Large-scale metaproteomics of human gut microbiota reveals microbial functions in metabolic diseases and aging