What percentage of total coins are reserved for mining when mainnet is launched? I.E. if lets say 100 mil were sold and used on the ico, how many more will be mined?