Strength and microstructure of electrodischarge-machined titanium diboride