Texas high school shooting: Girl shooter dead, 2 injured