A rigid but foldable indoor airship aerial system for cave exploration