From holding to selling: Bitcoin miners adjust tactics post-halving