Implementation of a Bioanalytical Metaproteomics Assay and Design of Bioinformatics Algorithms to Investigate Microbiome-Modulating Effects of Resistant Starches