A constraint-based theory of phonological markedness and simplification procedures