Calibrating an Ice Sheet Model Using High-Dimensional Binary Spatial Data