an angle grinder is a tool