Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction