Optimal dispatch of an integrated energy system considering carbon trading and flexible loads