Assimilating satellite sea surface salinity data from SMOS, Aquarius and SMAP into a global ocean forecasting system