Drilling to the beds of the Greenland and Antarctic ice sheets: a review