Solving the frequency assignment problem with polarization by local search and tabu