Tyler ISD superintendent announces resignation