Text this: Geodetic monitoring of deformations of the earth's surface and the main gas pipeline in the area affected by mining operations