Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition.