A Knowledge-Based Model of Geometry Learning