Có bao nhiêu đồng coin VeChain (VET) đang lưu hành?