Genetic adaptation to high altitude in the Ethiopian highlands