Что такое миля и как она используется для измерения длины