Exploring an Activity Theory–Based Evaluation Model for the Educational Effectiveness of AI-Based Learning Applications | Synapse