Overview of the use of games in teaching