Low-carbon dispatch of multi-district integrated energy systems considering carbon emission trading and green certificate trading