Revealing proteome-level functional redundancy in the human gut microbiome using ultra-deep metaproteomics