αρχείο Email: Model-driven intracellular redox status modulation for increasing isobutanol production in Escherichia coli