Seasonal variability of the Gulf Stream from satellite altimetry