Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation