A Roth 401(k) Is a Tax Break Hiding in Plain Sight. Here’s the Math.