Ethereum: Why is difficulty measured in a hash’s leading zeroes?