Modeling Alternatives to Solve The Connected Graph K-Clustering Problem