Enhancing teacher AI literacy and integration through different types of cases in teacher professional development | Synapse