Value-Oriented Legal Argumentation in Isabelle/HOL