The mathematics of Bitcoin halvings: Cracking the equations and formulas