home > > name of equipment used in mining coal