10 killed as gunman opens fire in Texas high school