Equatorial sea level response during the 1982–1983 El Niño