How long would it take to mine 1 bitcoin with a Raspberry Pi?