A Testbed for GNSS-Based Positioning and Navigation Technologies in Smart Cities: The HANSEL Project