Model-based metabolic engineering enables high yield itaconic acid production by Escherichia coli.