Mechanical Geometry Theorem Proving