Double-diffusive erosion of the core of Jupiter