Old oceanic crust is more dense than new oceanic crust because it is