[graph-tool] weighted undirected graph partitioning