Ethereum’s Istanbul Upgrade: Understanding ProgPoW