TSP and 401(k) contrasts