How long does it take to mine a bitcoin in a pool