All coin are already mined or people could still mine? how to get some coin we do have to buy from dev?