A review of high-altitude drilling