Dry-EDM milling of micro-scale features with high speed rotating tungsten tube electrodes