Web Services for the Internet of Things through CoAP and EXI