Differentiated demographic histories and local adaptations between Sherpas and Tibetans