Robo Ludens: Game Design Techniques Applied in HRI Experiments