A Formal Theory of Vowel Coalescence: A Case Study of Ancient Greek