Using proteomics to validate computational modeling results on protein cost in metabolic pathways