An Economic Model of Consensus on Distributed Ledgers