Seismic velocity estimation from time migration