Consumption Insurance Against Wage Risk: Family Labor Supply and Optimal Progressive Income Taxation