As the pressure on a rock increases below the earth's surface, the density of that rock should