Thrust tectonics, deep structure and crustal subduction in the Alps and Himalayas