The IRS has seized $1.2 billion worth of cryptocurrency this fiscal year – here’s what happens to it