How tokenized securities work: minting, redemption, backing