Reasoning about Imperfect Information Games in the Epistemic Situation Calculus