Using Mathematical Programming to Refine Heuristic Solutions for Network Clustering