From: Modeling and simulation of the main metabolism in Escherichia coli and its several single-gene knockout mutants with experimental verification