Microbial redox cycling enhances ecosystem thermodynamic efficiency and productivity