Income Uncertainty and Optimal Redistribution