Partial permutation decoding for binary linear and Z4-linear Hadamard codes