Gli anni d'oro della «raffineria d'Europa». La raffinazione petrolifera italiana tra storia d'industria e storia sindacale (1956-1973)