Low-carbon operation of integrated electricity–gas system with hydrogen injection considering hydrogen mixed gas turbine and laddered carbon trading