Gravar-mail: A mathematical model of metabolism and regulation provides a systems-level view of how Escherichia coli responds to oxygen