Robot dogs could someday explore deep caves on Mars