A Distributed, Real-Time Flexible Radio Testbed: System Architecture, Experimental Setup, and Use Case Scenarios for Aveiro Smart City