GEO-Prover - A Geometry Theorem Prover Developed at UT