Antique woodworking tools : a guide to the purchase, restoration and use of old tools for today's shop