Antarctic ice-shelf thickness, ice-shelf mask, and grounding line (datasets used in doi:10.1038/nature12567)