גלאי נקודות דליפה בעל דיוק גבוה, מכשיר לאיתור דליפות בצנרת