Symmetry in combinatorial optimization