NASA’s Juno finds Jupiter is a tiny bit smaller than previously thought