Understanding how many ethereum are there in circulation