Algorithms and the Rule of Law