Cemented-Carbide Tools; Carbides and Bonding Agents Used for Metal Cutting, the Design, Care and Maintenance of Tipped Tools