Decentralized Finance: Users, Applications, And Systems