Programming Languages for IoT Development