Graph Pooling with Maximum-Weight k-Independent Sets