Text this: Influence of electrical discharge machining process parameters on surface micro-hardness of titanium alloy