Metaproteogenomics reveals taxonomic and functional changes between cecal and fecal microbiota in mouse