China set to mine as many as 400 million additional tons of coal