Mine Tunnel Exploration Using Multiple Quadrupedal Robots