Technology-driven developments and policy implications for mathematics education