Diversification-driven tabu search for unconstrained binary quadratic problems