Trade shocks, product mix adjustment and productivity growth in Italian manufacturing