Decision Diagrams for Optimization