Following shooting, Dallas ISD making security changes