Metabolic modeling of microbial strains in silico