Human adaptation to high altitude: a review of convergence between genomic and proteomic signatures