Smart Legal Contracts: Computable Law in Theory and Practice