Four injured in Texas high school shooting