A Federated Platform to Support IoT Discovery in Smart Cities and HADR Scenarios