The Aquarius/SAC-D salinity mapping satellite mission: Science and measurement objectives for studying the ocean freshwater budget