what incentive will there be for miners to devote resources to once all the bit coins are mined?