Mean density of the Earth