Vacuum-Jacketed Tubing: Past, Present, and Future