Early–Middle Eocene Exhumation of the Trans-Himalayan Ladakh Batholith, and the India–Asia Convergence