machines and implements used in mining operations