Soil porosity from seismic velocities