mining of coal in the world