A study of machining performance of electrical discharge machining with rotary electrode in an induced magnetic field