Ice drilling technology (Internat. Glaciological Soc., 2014)