Artificial Intelligence Applications to Support K12 Teachers and Teaching: A Review of Promising Applications, Challenges, and Risks | Synapse