Integrated Modeling And Optimization Of Multi-Carrier Energy Systems