How Much of All Money Is in Bitcoin?