Innovation in Curriculum: Reflections on Developing Formal Mathematics and the Connected Mathematics Project