A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations