NASA workshop on high-resolution global topography: bare surface land and ice topography, vegetation structure, and shallow water bathymetry