Parallel Algorithms for Operations on Multi-Valued Decision Diagrams