quantos bitcoins ja foram minerados