Hur lång är en sjömil (även kallad nautisk mil och distansminut)?