Implications of shortening in the Himalayan fold‐thrust belt for uplift of the Tibetan Plateau