AtomVM, the Erlang virtual machine for IoT devices