NASA space applications of high-temperature superconductors