high-temperature superconducting magnets