Magma mines