What is a smart contract, and how does it work?