Optimization of Multiple-Valued AND-EXOR Expressions Using Multiple-Place Decision Diagrams