Comparative Metabolic Modeling of Multiple Sulfate-reducing Prokaryotes Reveals Versatile Energy Conservation Mechanisms