Tool Wear in Stone Cutting: Theoretical Model and Experimental Validation