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