How a subsea cable is repaired