commercial mining of coal