First-principles investigation of titanium doping into β-SiAlON crystal in TiN–SiAlON composites for EDM applications