Game tempo: How the kind of progress that players make during a game affects the way the game feels (video)