Describir: Definition of a Common Formulation of Military Frequency Assignment Problems and the Application of Meta-Heuristic Algorithms