Managing the attractive magnetic force between an untethered magnetically actuated tool and a rotating permanent magnet | IEEE Conference Publication | IEEE Xplore