Lifetime Income Distribution and Redistribution