Application of Artificial Intelligence in Teaching English as a Foreign Language: Progress, Challenges, and Trends | Synapse