Quantitative Prediction of Cellular Metabolism with Constraint-Based Models: the Cobra Toolbox | AMiner