TxDOT battles El Fenix over trademark slogan