The South Philadelphia company sends robots into mines and other hard-to-reach spaces. Its IPO is also a window into a growing regional robotics scene.