Influence of redox potential on product distribution in Clostridium thermosuccinogenes