Channel flow, tectonic overpressure, and exhumation of high-pressure rocks in the Greater Himalayas