Restoration of the Western Himalaya: implications for metamorphic protoliths, thrust and normal faulting, and channel flow models