Tibetan high altitude gene came at the cost of extinction