Extension during continental convergence, with application to the Tibetan Plateau | Synapse