Updated project metadata. Using proteomics to validate computational modeling results on protein cost in metabolic pathways