The methodology behind US route numbers