GPT: A Tutor for Geometry Proving. ICCE 2017.