himalayan formation