Produttività e redditività nella distribuzione locale di gas naturale in Italia: proprietà, diversificazione e scala operativa