Southward extrusion of Tibetan crust and its effect on Himalayan tectonics