The Role of Logic in Computational Models of Legal Argument: A Critical Survey