Mathematical models and decomposition methods for the multiple knapsack problem