Metabolic engineering of Escherichia coli for the production of l -valine based on transcriptome analysis and in silico gene knockout simulation | Synapse