Exploiting Mental Imagery with Computers in Mathematics Education