An overview of the development history and technical progress of China’s coal-fired power industry