how long does it take to mine bitcoin