ROBOVOLC: A robot for volcano exploration