Planning and Optimization for Multi-Robot Planetary Cave Exploration under Intermittent Connectivity Constraints