Robotic Cave Exploration for Search, Science, and Survey - The Robotics Institute Carnegie Mellon University