Deep-diving robots help crack the mystery of Antarctica's vanishing sea ice