Processer i det inre av bergskedjor av Himalaya-typ: smältbildning och dess betydelse för upplyftningen av högtrycksberggrund