Segmental Phonology in Optimality Theory