The Data Management System for the Global Temperature and Salinity Profile Programme