Large Language Models Meet Legal Artificial Intelligence: A Survey