ATX Mayor meets with US DOT over Smart City Plan