Geodetic observations of the ocean surface topography, geoid, currents, and changes in ocean mass and volume