IA na educação básica: casos de sucesso em escolas públicas (guia prático 2025)