types of machine used to grinder from tools