plaintiffs filed a complaint seeking a refund of overpaid income taxes from the IRS. The issue is whether tax is due when crypto tokens are mined and awarded to the miners, as the IRS contended, or whether tax is due when the mined tokens are converted to cryptocurrency