Fundamental Ideas as a Basis for Designing Coherent Competence Progressions in K-12 Computing Curricula