Flow and convective cooling in lava tubes