Orbital Conflict: Cutting Planes for Symmetric Integer Programs