智能合约，也称为智能合同，是如何工作的？