Why does coinmarketcap show that Casper already has 12 billion coins? after all, the maximum offer was promised 10 billion