Bitcoin Miner MARA Says It May Sell BTC Holdings in Strategy Shift