Ocean surface height‐slope probability density function from SEASAT altimeter echo