The effect of unionization on productivity in U.S. manufacturing