These companies design satellites, robotics and other advanced technologies intended to make space mining possible.