Solving Quadratic Knapsack Problems by Reformulation and Tabu Search: Single Constraint Case