Coal-rich Shanxi mined 975.24 million tonnes of raw coal in the first three quarters of 2025, a 3.7% increase compared to the previous year, accounting for 27.3% of China's total coal production, acco