Text this: On the redundancy of transitivity constraints in the clique partitioning problem