name of equipment used in mining coal