AI system solves SAT geometry questions as well as an eleven year old