Палец как единица измерения длины: История и использование