A computational study of exact knapsack separation for the generalized assignment problem