Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions