Does Redistribution Increase Output? The Centrality of Labor Supply