A model-based health indicator for leak detection in gas pipeline systems. (February 2021)