home > > the coal mining industry