Semantics of Interaction: an introduction to Game Semantics