different equipments used in mining industry coal