Facilitating the Development of IoT Applications in Smart City Platforms