Using modeling and computations to analyze and redesign metabolism