How common is lack of DNS server diversity?