Text this: Professional Support in Teaching Mathematics through Guided Discovery: The Role of Agency on Multiple Levels