Ethereum: What happens to the bitcoin network when the miners all stop in the future?