old tools used to sharpen an axe stone mill