The seasonal cycle and variability of sea level in the South China Sea