https://geekermag.com/set-custom-dns-server-android-phone/