Introduction to Augur, an open-source, decentralized betting marketplace