equatorial diameter of Jupiter