Micro-Course 1: AI for K-12 Education Professionals: Foundations