Ice core drilling