solidity复杂案例详解（上）飞机管理及保险赔偿合约