Dry electrical discharge machining of cemented carbide