Development and use of garnet-based high-resolution P-T-t paths to constrain the dynamics of Himalayan orogenesis