Codes over Z4 and permutation decoding of linear codes