Surface modification of TiNi-based shape memory alloys by dry electrical discharge machining