For gun manufacturers, public shootings are good for business.