Mixed-integer programming techniques for the connected max-k-cut problem | Synapse