The losses of miners after the halving were estimated at $10 billion. Where does this figure come from?