How DEXs Work Without Intermediaries: A Practical Guide