Formal network analysis of a food supply chain system: a case study for the Italian agro-food chains