Porosity of very young oceanic crust from sea floor gravity