Why are there 13 (logical) DNS root nameservers?