Applicability of Diamond-Coated Tools for Ball End Milling of Sintered Tungsten Carbide