is there a limit on how many bitcoins can be mined? on how many bitcoins will circulate the internet world?