Trump proposed excluding tips from federal taxes. Here’s what that would mean for workers’ take-home pay—and budget deficits