ore mining machine in mining