Lava tubes on Mars and the Moon could provide shelter for astronauts