A tabu search algorithm with a dynamic tabu list for the frequency assignment problem