Qué es un smart contract y cómo se usa: ejemplos :