The Bitcoin halvening