TXDOT to repair downtown Tyler sinkhole