Modeling of Recast Layer in Micro-Electrical Discharge Machining