Four Challenges for Computational Models of Legal Precedent