Natural language as a tool for analyzing the proving process: the case of plane geometry proof