What command can a technician use on a computer to see if DNS is functioning properly?