Designing informatics curriculum for K-12 education: From Concepts to Implementations