Glacial cycles drive variations in the production of oceanic crust