Qual protocolo de rede permite aos usuários navegar na Internet usando nomes de host em vez de endereços IP numéricos, simplificando o processo de busca por sites específicos por meio de navegadores da web, convertendo o endereço textual digitado no browser em um endereço IP numérico equivalente?