A Computational Basis for Phonology