How long did it take you to mine one coin?