Constraints-based genome-scale metabolic simulation for systems metabolic engineering.