Texas high school stabbings: 1 student killed, 3 injured, police say