Why is old oceanic crust more dense than new oceanic crust?