Cutting force on a diamond grit in stone machining