Artificial Intelligence in K-12 Educational Technology: A Comprehensive Analysis of Current Applications, Challenges, and Future Directions