The role of technology in mathematics