Prediction of electrode loss in micro-EDM drilling based on discharge time