Integrating quantitative proteomics and metabolomics with a genome-scale metabolic network model