Experimental Investigation and Optimization of Rough EDM of High-Thermal-Conductivity Tool Steel with a Thin-Walled Electrode