The impact of vertical integration and outsourcing on firm efficiency: evidence from the Italian machine tool industry