Text this: Assessment of diameters of karst holes in the design of the main gas pipeline, South Yakutia