Doing Optimality Theory