How Does NLP Benefit Legal System: A Summary of Legal Artificial Intelligence