Some problems in velocity analysis for marine deep seismic profiles