Surface modification and machining of TiNi/TiNb-based alloys by electrical discharge machining