Variations and extensions of Proll's integer linear programming formulation techniques for the graph partitioning problem