Text this: Branch-and-Cut Algorithms for Colorful Components Problems.