Introduction to Wanlong diamond tools (diamond segments, diamond saw blades, grinding tools, core drills, wire saws, etc.)