Convergence of the Indian and Eurasian plates under eastern Tibet revealed by seismic tomography