Introduction to Decentralized Finance (DeFi)