Evaluation of the residual lifetime of a section of a main gas pipeline after long-term operation