what kind of weapon was used in the texas shooting