An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development