How Is Tether Used as a Stablecoin in Defi Applications?