Vast lava tubes pock the surface of the moon and Mars, and could protect explorers from the elements. But first someone needs to explore them.