Tool wear in stone cutting: theoretical model and experimental validation