Distribution of devoiced high vowels in Korean