Giao thức nào được sử dụng để phân giải tên miền thành địa chỉ IP trong mạng?