Permutation decoding of Z₂Z₄-linear codes