Programming the Internet of Things