How to make Android use the DNS server of your choice