Remind me, with my mining operation of s19, how many Bitcoin can I be expected to mine in one year (with 95% certainty, including all previous assumptions)?