Use of IoT and Artificial Intelligence in Gas Supply Pipelines (Domestic and Cross-Border)