Densities and porosities in the oceanic crust and their variations with depth and age