Lawyers are already using AI. Will judges be next?