Bitcoin Miners Must Optimize to Survive