The mean seasonal cycle in sea level estimated from a data-constrained general circulation model