What Happens to Bitcoin Miners When all Coins are Mined?