Density and porosity of upper oceanic crust from seafloor gravity measurements