金屬工業, 金屬工具, 研磨工具