Learning to Configure Separators in Branch-and-Cut Sirui Li MIT