Modeling Approaches and Decarbonization Pathways in Multi-Sector Integrated Energy Systems