Teacher agency for integrating history into teaching mathematics in a performance-driven context: a case study of a beginning teacher in China