Symmetry in integer programming