The CLAS12 Torus Detector Magnet at Jefferson Laboratory | IEEE Journals & Magazine | IEEE Xplore