UPDATE: Victim's name released in Tyler ETMC robbery