Methodologies for the Integrated Modeling and Optimization of Digital Supply Chains