US IRS finalizes controversial tax rule requiring 'DeFi brokers' to collect user trading information