Austin joins New York, Las Vegas, and other US cities to have its own internet Web3 domain name