Watch rappelling robots dive into a lava tube — for science