Submodular Function Maximization Over Graphs via Zero-Suppressed Binary Decision Diagrams