Vertical Integration and Efficiency: Theory and Evidence from the Italian Machine Tool Industry