Bitcoin Miners Consider Hedging Options for Revenue Stability