Texas is on the short list for a new $400 billion smart city proposed by a former Walmart executive. Here are the details of what is being planned and what other states are in the running.