Velocity functions in seismic prospecting