DeFi Mania: An Introduction to DeFi Models and Markets