DNS Servers: What Are They and Why Are They Used?