Machine Tools for Pipeline Repair and Maintenance