Contract Vault: Legally enforceable smart contracts