Double-diffusive Erosion of the Core of Jupiter