Describir: A Formal Semantics of Core Erlang