Discrete Optimal Graph Clustering