Mathematical Formulation And Scheduling Heuristics For Cyclic Permutation Flow-Shops