Lactate vs butyrate production during mixed culture glucose fermentation driven by substrate availability as determined by metaproteomics