which well-known udp port does dns use