NBC: Student killed and another arrested after a shooting at a high school in Texas