Elite Dangerous: Asteroid mining