Notes on Ehrenfeucht's game-theoretic characterization of first-order elementary equivalence