Text this: Mechanical drilling of glaciers with bottom-hole scavenging with compressed air