Geology of Western Himalayas, Contributions to Himalayan Geology