Text this: Facet-defining triangle inequalities for the quadratic linear ordering problem.