Tipped workers will be able to deduct up to $25,000 in tips beginning in 2025. To help sort out the details, the Treasury and the IRS are rolling out additional guidance.