Miners are the executive power of Bitcoin [pdf]