Maintenance and broadening of the ocean’s salinity distribution by the water cycle