Is mining and staking the same thing? How is staking calculated? Do we know how many CRX have been created so far?