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