An Efficient Approach to Learning Chinese Judgment Document Similarity Based on Knowledge Summarization