ore mines and mining machine