Software to enable ocean discoveries: a case study with ICESat-2 and Argo