file (metalworking and woodworking tool)