Bitcoin: How many coins will be issued and when will mining end?