The Role of AI in Space Mining: Extracting Resources Beyond Earth