Lateral variations in vegetation in the Himalaya since the Miocene and implications for climate evolution