A Practical Introduction to Denotational Semantics