Protein constraints in genome-scale metabolic models: data integration, parameter estimation, and prediction of metabolic phenotypes