What is a good "Bitcoin for dummies" summary? Can bitcoins be used like actual currency, and what does mining for bitcoins mean?