Models and solution techniques for frequency assignment problems