Computers in research on mathematical problem solving