mining machine in ore mines