The origin of Himalayan anatexis and inverted metamorphism: Models and constraints