Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System