Is DNS go through Tor with this configurations?