How Many Bitcoins Are There and How Many Are Left to Mine?