Assessing Escherichia coli metabolism models and simulation approaches in phenotype predictions: Validation against experimental data