The design of permutation codes via a specialized maximum clique algorithm