A Modelling Study for Smart Pigging Technique for Pipeline Leak Detection