The Bitcoin halving