how do we get ores by mining