Mechanical and electrochemical properties of various tool steels implanted with nitrogen or NO ions