At Least 9 Dead, Including Gunman, in Shooting at Texas Mall