An inside look at the prediction market protocol Augur