Flags ordered to fly half-staff to honor shooting victims in Texas