Virtual Agents for Real Teachers: Applying AI to Support Professional Development of Proportional Reasoning | Synapse