District Leadership in an AI Era: Decisions, Dilemmas, and Design Impact of a Personalized, Game-based Program on Young Learners' Math Learning