Jupiter’s moon Io: Global magma ocean, or hot metal core?