what's the difference between ```domain_name_servers``` and ```dns_servers```?