Automated theorem proving in geometry: a survey