How K–12 Schools Can Use Artificial Intelligence in Education