tyler is part of texas