The Hard Math Behind Bitcoin's Global Warming Problem