Rapid early Miocene exhumation of the Ladakh batholith, western Himalaya