When NEM are "mined" or "staked" or whatever based on POS or POI, do those NEM add to the 4b supply or are they fees redistributed from others?