Partial permutation decoding for Z4-linear hadamard and kerdock codes