Implementing Smart IoT-Based Systems for Real-Time Detection and Management of Natural Gas Leaks in Urban Smart Utility Ecosystems and Management Platforms