machine designed to mine asteroids