Lifting Symmetry Breaking Constraints with Inductive Logic Programming