Certified Dominance and Symmetry Breaking for Combinatorial Optimisation