Using Global Constraints for Frequency Allocation