Tyler ISD names elementary principal