Assimilation of TOPEX/POSEIDON altimeter data into a circulation model of the North Atlantic