Zaslat SMS: A Formal Semantics of Core Erlang