Shooting victim was longtime Carrollton-Farmers Branch ISD employee