Optimal Stopping of Multi-Robot Exploration for Unknown, Bounded Environments