Experimental study on micro electrical discharge machining of porous stainless steel