Repair and maintenance of pipes and pipelines