How many bitcoins does satoshi have