石材的拉毛处理，使用的工具是：（）。