Text this: Heat extraction performance and formation cooling effect of borehole heat exchangers in high-temperature coal mines