Concise integer linear programming formulation for clique partitioning problems