how many bitcoins are there? th bitcoin miner