Relief carving tools, and why a master carver picks each