The IAPWS industrial formulation for the thermodynamic properties of seawater