Space miners mining in the space mine