Decision Diagram Relaxations for Integer Programming