A Picture Is Worth a Thousand Words: Co-designing Text-to-Image Generation Learning Materials for K-12 with Educators (Proceedings of the ... AAAI Conference on Artificial Intelligence, 2024)