Income redistribution and life satisfaction