Artificial intelligence in the legal system