Texas’s concealed-carry law prevented mass murder