Revolutionising gas pipeline gas-leakage management