Officials identify student in UT shooting