How do decentralized market prediction platforms like Augur and Gnosis enable users to speculate on future events and outcomes?