Puzzles for gamification of augmented reality