Phonetics and phonology of Japanese vowel devoicing