how many tokens will be issued in total and will it decrease or increase over time ?