Thermodynamic properties of aqueous MgSO 4 to 800 MPa at temperatures from 20 to 100 C and concentrations to 2.5 mol kg 1 from sound speeds, with applications to icy world oceans