Partial permutation decoding for binary linear Hadamard codes