Optimizing over trained GNNs via symmetry breaking