Total number of bitcoins mined