Programming Voice-controlled IoT Applications