Micro-hole machining of carbide by electric discharge machining