shanxi china chinese coal mining coal burning miners shanxi china chinese coal mining coal burning miners