Geochemical constraints on the bimodal origin of High Himalayan leucogranites