Decoding binary linear block codes using local search