A mechanistic understanding of oxygen isotope eects during microbial sulfate reduction