A Probabilistic Model of the Bitcoin Blockchain