Design of high-efficiency Joule-Thomson cycles for high-temperature superconductor power cable cooling. (July 2018)