Quantifying the diversity of sulfate-reducing microbes in the human gut