Pātuhitia tēnei: A Formal Semantics of Core Erlang