A Large-Scale Software-Defined Internet of Things Platform for Provisioning IoT Services on Demand