Using Computers for Algebraic Thinking