How long would it take to mine a bitcoin