The design, development and use of pipe cutting tools for remote handling in JET | IEEE Conference Publication | IEEE Xplore