Isotropic and anisotropic velocity model building for subsalt seismic imaging