Faster Block Times Lead to an Extra $130 Million Bitcoin Mined