pipe measuring sleeves for measuring the length and depth of pipelines during installation or repair