high-temperature drilling