Agency in mathematics education