Temperature distribution inside and around a lava tube