Research on the peak timing and peak scale of four major coal-consuming industries against the background of China’s total coal consumption peaking