Texas should use Bitcoin mining to capture wasted natural gas: Sen. Ted Cruz