Modeling of Thermal Spalling During Electrical Discharge Machining of Titanium Diboride