Shark Tank's Kevin O'Leary is betting big on Bitcoin mining