I didn't really understand how ATP tokens will be distributed. Will it be only possible to get it by the way of mining?