why dns is 13 root name servers