Text this: Research on Cold-Energy Loss of Long-Distance Sleeve-Type Insulated Pipe for High-Temperature Deep Mines